From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
نویسندگان
چکیده
منابع مشابه
Lakatos and Hersh on Mathematical Proof
مفهوم اثبات در چند دهۀ اخیر مناقشهآمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه دادهاند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهتها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...
متن کاملRandomness and Mathematical Proof
The first is obviously constructed according to a simple rule; it consists of the number 01 repeated ten times. If one were asked to speculate on how the series might continue, one could predict with considerable confidence that the next two digits would be 0 and 1. Inspection of the second series of digits yields no such comprehensive pattern. There is no obvious rule governing the formation o...
متن کاملMathematical Method and Proof
On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria ...
متن کاملlakatos and hersh on mathematical proof
the concept of mathematical proof has been controversial for the past few decades. different philosophers have offered different theories about the nature of mathematical proof, among which theories presented by lakatos and hersh have had significant similarities and differences with each other. it seems that a comparison and critical review of these two theories will lead to a better understan...
متن کاملA proof-centric approach to mathematical assistants
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a flexible environment for the exploration, certification, and presentation of mathematical proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
سال: 2019
ISSN: 1364-503X,1471-2962
DOI: 10.1098/rsta.2018.0037